Interactive Self-Healing for Black-Box Components in Distributed Embedded Environments

نویسندگان

  • Michael Dinkel
  • Slawi Stesny
  • Uwe Baumgarten
چکیده

As self-management features of computer systems depend on self-knowledge we have to cope with the issue that most large systems are not entirely known to the self-management software. Especially when system parts are supplied by external companies which want to preserve their intellectual property we have to cope with black-box components. This paper presents a novel approach for self-healing in distributed embedded systems containing black-box application software. The interactive self-healing process is based on well defined system knowledge and enables the construction of a functional dependency graph which serves as basis for rule-based root cause analysis and self-healing.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Distributed Black-Box Software Testing Using Negative Selection

In the software development process, testing is one of the most human intensive steps. Many researchers try to automate test case generation to reduce the manual labor of this step. Negative selection is a famous algorithm in the field of Artificial Immune System (AIS) and many different applications has been developed using its idea. In this paper we have designed a new algorithm based on nega...

متن کامل

(inter-)action Refinement: the Easy Way1

We outline and illustrate a formal concept for the specification and refinement of networks of interactive components. We describe systems by modular, functional specification techniques. We distinguish between black box and glass box views of interactive system components as well as refinements of their black box and glass box views. We identify and discuss several classes of refinements such ...

متن کامل

AOCI: Weaving Components in a Distributed Environment

Mobile and embedded devices like PDAs, mobile phones, and all kinds of consumer hardware populate the world we live in. Despite the vision of ubiquitous computing and its idea of spontaneous interaction among these devices more than fifteen years ago, most of them are still isolated and restricted in their interaction capabilities. One reason for this limitation is the poor support for dynamic ...

متن کامل

Executable Interface Specifications for Testing Asynchronous Creol Components

We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and testing components. We use Creol, a high-level, object-oriented language for distributed systems and present an interface specification language to specify components in terms of traces of observable behavior. The langua...

متن کامل

ALICE: An Advanced Logic for Interactive Component Engineering

This paper presents an overview of the veri cation framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software or hardware component is speci ed as a state-full black-box with directed communication channels. Components send and receive asynchronous messages via these channels. The behavior of a component is generally describe...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006